flush a file